$\forall$$T$:Type, $R$, $Q$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$). ($R$ $\Lleftarrow\!\Rrightarrow$\{$T$\} $Q$) $\Rightarrow$ ($R$! $\Lleftarrow\!\Rrightarrow$\{$T$\} $Q$!)